<html>
<head><meta charset="utf-8"><title>sprint week · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html">sprint week</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="198206525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198206525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198206525">(May 20 2020 at 14:29)</a>:</h4>
<p>So I think we should do another sprint week -- which really I think means like 3 dedicated mornings? maybe 4? :) Or at least <em>I</em> would like to do that. Probably early to mid June.</p>



<a name="198206537"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198206537" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198206537">(May 20 2020 at 14:29)</a>:</h4>
<p>Maybe we can start planning a bit the dates and agenda?</p>



<a name="198206563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198206563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198206563">(May 20 2020 at 14:29)</a>:</h4>
<p>As usual I feel completely lost and don't remember where we were, but it'd be cool to line up some goals etc</p>



<a name="198206737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198206737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198206737">(May 20 2020 at 14:31)</a>:</h4>
<p>early to mid june sounds good to me</p>



<a name="198209577"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198209577" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198209577">(May 20 2020 at 14:51)</a>:</h4>
<p>as for agenda, what I had in mind was:</p>
<ul>
<li>(go over some of the recent work I've done (which I have yet to open PRs for anyway))</li>
<li>a bit of planning / design: I'd like to talk with you all about our plans, especially about some of the feature parity work we're doing, which might have an unavoidable cost. That's absolutely fine for a reference implementation, say, but maybe not for production. We're redoing some dataflow work, in a more general setting which cannot take advantage of the dataflow setting, i.e oversimplifying, there's no super easy way to take advantage of computing over a CFG rather than an arbitrary relation.</li>
<li>talk about the "Locations::All" fix I had in mind and prototyped, and how it impacts our rules</li>
<li>computing subset errors in the optimized variant (which I'd like to keep for now even if Niko probably wouldn't want to :)</li>
<li>I walked through the valley of the shadow of death while looking at NLLs performance on the whole clap crate, so maybe talk about location-insensitivity, how I think we could do it outside of datafrog  since it's in my mind actually just a case of graph traversal here, etc (which I also have prototyped)</li>
<li>(if, and it's a big if, I manage to actually <em>achieve</em> anything with them: maybe talk about the other ideas I had wrt polonius' model itself -- and if I don't you'll never hear about this again)</li>
<li>maybe some design work for niko, about the equality variant :) check the couple rules I "had" to add to it, maybe we try to understand why one or two rustc tests failed with the variant, those kinds of things</li>
<li>actually emit the move errors to validate our rules, I haven't been able to look at this yet so it'd be reassuring to do so</li>
</ul>



<a name="198211832"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198211832" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198211832">(May 20 2020 at 15:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116155">@Jake Goulding</span> is that a good <span aria-label="astonished" class="emoji emoji-1f632" role="img" title="astonished">:astonished:</span> emoji or a bad <span aria-label="astonished" class="emoji emoji-1f632" role="img" title="astonished">:astonished:</span> emoji ? :)</p>



<a name="198212403"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198212403" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198212403">(May 20 2020 at 15:10)</a>:</h4>
<p>It's me being a spoiled brat, really... I'm super excited to see Polonius happen, but I haven't seen any progress <em>here</em> so I figured that everyone was busy with other things. I'm happy to see that the work just wasn't being logged here (which I don't have any right to expect in the first place).</p>



<a name="198213317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198213317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198213317">(May 20 2020 at 15:16)</a>:</h4>
<p>ah sorry about that, I should have thought more about the people following the work here</p>



<a name="198214367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/198214367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#198214367">(May 20 2020 at 15:23)</a>:</h4>
<p>Not at all. If the choice is between y'all making 2x progress vs 1x progress and 1x progress updates, I'm OK with the former.</p>



<a name="199022214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/199022214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#199022214">(May 28 2020 at 13:29)</a>:</h4>
<p>I guess I would be a good candidate for looking at emitting move errors, and documenting the new rules in the Book</p>



<a name="199022316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/199022316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#199022316">(May 28 2020 at 13:30)</a>:</h4>
<p>(I'm still here, but I have done exactly nothing since my thesis, so it's exactly what it looks like)</p>



<a name="199022435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/199022435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#199022435">(May 28 2020 at 13:31)</a>:</h4>
<p>Early June may work for me, but I also have vacation basically late June to early August</p>



<a name="199045564"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/199045564" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#199045564">(May 28 2020 at 16:26)</a>:</h4>
<p>Early June is coming up</p>



<a name="199120784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/sprint%20week/near/199120784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/sprint.20week.html#199120784">(May 29 2020 at 07:16)</a>:</h4>
<p>(as I'll take vacation days off of work for this, the exact scheduling is open for me, to whenever y'all are available)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>